🔢 Type Theory - c13e · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🐫OCaml

arxiv.org·1d

Types of Functions in JavaScript 🔵Lisp

geeksforgeeks.org·5d·DEV

yogthos/chiasmus: Chiasmus is an MCP server that gives language models access to formal verification 🔵Lisp

github.com·14h

A Fast and Loose Clustering of LLM Benchmarks 🧠Local AI

lesswrong.com·1h

Helper–exploiter polymorphism with ecological inheritance 🔤New Languages

pnas.org·1d

Wet Sidewalks and Odd Numbers 🧩Prolog

wadler.blogspot.com·11h·Blogger

Binary Lambda Calculus is Hard λFunctional Programming

aartaka.me·4d·r/functionalprogramming

Building a ready-made cancer data library 🔁Spaced Repetition

sciworthy.com·15h

All of the String types ⚙️Compiler Design

lambdalemon.gay·2d·Lobsters, Hacker News

Website Structure Explained: 4 Types with Real-World Examples 🕸️WebAssembly

uxpin.com·1h

PyTorch Foundation Expands AI Stack with Safetensors, ExecuTorch, and Helion ⚗️BEAM Ecosystem

thenewstack.io·7h

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📐Formal Methods

embedded.com·1d

When a Straight Line Lies: The Curve Fitting Chapter Nobody Explains 🧠Local AI

medium.com·4d

Postdoctoral Researcher in AI for Climate Information Inference at ETH Zurich 🤖AI Engineering

theeconomicmisfit.com·6h

REV : DW : April 10, 2026 1:15am-1:30am CEST : Free Borrow & Streaming 🗣️Linguistics

archive.org·3h

Author Correction: Foundation model of neural activity predicts response to new stimulus types 🧬Cognitive Neuroscience

nature.com·1d

A practical guide for setting up Zettelkasten method in Obsidian 🗃️PKM

desktopcommander.app·18h·Hacker News

Concrete examples of Baudrillard's Four Stages of Simulacra? 🔣Category Theory

reddit.com·6d·r/askphilosophy

Nushell Niceties: Transform Values Into Semver Types λFunctional Programming

jdriven.com·2d

Prediction: The "Inference Supercycle" Could Be Bigger Than the Training Boom. 1 Growth Stock to Own. 🧠Local AI

finance.yahoo.com·9h

Loading more...